docs: Remove 'hap' boot parameter from the user manual.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/docs/src/user.tex b/docs/src/user.tex
index c6884c0040287ab04a79fae0a9f3fced44caeb9f..ac8c5f8e1e1534f26bf8f43fdaf8f115b9bf4d10 100644 (file)
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -4209,10 +4209,6 @@ writing to the VGA console after domain 0 starts booting (e.g., `vga=text-80x50,
 \item [ dma\_emergency\_pool=xxx ] Specify lower bound on size of DMA
   pool below which ordinary allocations will fail rather than fall
   back to allocating from the DMA pool.
-\item [ hap ] Instruct Xen to detect hardware-assisted paging support, such
-  as AMD-V's nested paging or Intel\textregistered VT's extended paging. If 
-  available, Xen will use hardware-assisted paging instead of shadow paging 
-  for guest memory management.
 \end{description}
 
 In addition, the following options may be specified on the Xen command